function f() {
    ¬
    return;
}